Fix rdmsrl() for x86_32 -- high 32 bits must be cast to
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 30 Dec 2005 16:11:05 +0000 (17:11 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 30 Dec 2005 16:11:05 +0000 (17:11 +0100)
commit96905f367b75df68b45656b915c719c4d1264b63
treec39fca1083f84b521889142366c95e9e412215fe
parent0129e126c463c8624316e816ee13726c95e166fa
Fix rdmsrl() for x86_32 -- high 32 bits must be cast to
u64 before shifting left.

Signed-off-by: Avi Kivity <avi@qumranet.com>
xen/include/asm-x86/msr.h